;; RUN: print -h
